Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected ... / Programming and Software Engineering)
by
ISBN 13: 9783642032394
Format: Paperback (233 pages) Publisher: Springer Published: 20 Jul 2009
Save for later